Overheard in the library today from a student: "Aha, there's the ceiling!" in a triumphant voice with accompanying pointing upwards...