Make precondition fulfillment optional