A Logic-Based Proto-AGI Architecture Built on Recursive Self-Fact-Checking — LessWrong