The Principle of Satisfying Foreknowledge — LessWrong