[agumonkey]

Maybe some people tried to develop out-of-the-box sessions to force investigating absurd axioms and see how it goes.