dsj comments on A Compatibilist Definition of Santa Claus