MP2: Reason abstractly and quantitatively