An exercise in logic