Added example with more connectives