life: x = "want_to_know" Thinker(x) | Learner(x) while(Failure(x)): Thinker(x) | Learner(x) goto life