  2. We might assign values to “and”, “or”, and the other truth-functional connectives in the base clauses, allowing us to get by with a single generic recursive clause for truth-functional connectives: