Reified: green tests