prop-logic-4