“…But he does more than that. He at least sketches some arguments for that assumption, arguments that draw upon previous work by Beall on the topic, such as [5], [6], [7], [9]. Although he has dispatched other options -classical logic, K 3 , LP, S3…”