Setup for second method of finding theorems, this is via over time creation of ideas, with dependencies, if all dependencies are met than there is a possibility of this idea being added to the players research diary, then steps can be taken from there to confirm ideas and unlock the theorem