Clausal connectives (listing and choice)