An exercise in logics