Moved theorum (discovery) generation over to the new system also balanced it a little