novem
Elevator Etiquette as Formal Axiom System: A Logical Reconstruction of Unspoken Rules
by
Gandalf Yilmaz
@vgt_gandalf_yilmaz