A Compatibilist Definition of Santa Claus — LessWrong