LVSN comments on LVSN’s Shortform

[LVSN]

Googling ‘McCarthy Logic of Circumscription’ brought me here; very neat.