is only true when both and are true. Similarly, whenever we know that is true, we know that and are both true. This gives us () and () rules as: ?