Reified Calculation [dev.]