On rigor by Wilfried Wang, Richard Burdett | Lex | Lex