LOgical problems