@manikrathee cc @dabeaz i havent checked but i reckon this observation goes back to Immanuel Kant. Bet you 50p.
@hjwp @dabeaz idk man, sounds like it was Bobby