https://www.jegillikin.com/2010/04/epistemic-closure-revisited/