Finalised numeric preconditions and effects.