It's very hard for Keltham at this point to predict what Chelish practical-topologists will get instantly versus not at all.  Maybe once he's had longer than a day to experiment and figure it out.

He'll give them another minute on ((p -> q) -> p) -> p, but if they haven't gotten it by then, he'll leave coming to a definite decision about that as a homework problem, and tell them to get back to inventing other logical rules.

It's very hard for Keltham at this point to predict what Chelish practical-topologists will get instantly versus not at all.  Maybe once he's had longer than a day to experiment and figure it out.

He'll give them another couple of half-minutes on ((p -> q) -> p) -> p, but if they haven't gotten it by then, he'll leave coming to a definite decision about that as a homework problem, and tell them to get back to inventing other logical rules.