prop-logic-4 final