Reified Calculation v2