let's try without GOTO:

    while anyone_cares:
        improve_model()
    
        if theory_of_everything_appears or strong_ai_appears:
            raise Exception("rethink loop")