Posted on January 17, 2022January 17, 2022 by OTSExponential Idle: Theories It looks like you can only open custom theories after you finish the Convergence Theorem.