convert 2 steps into a precondition