Class PreconditionLogic