Posted on February 17, 2021 by Alexei Taylor [44] Cross-reference Jongstra; Boulboullé and Dupre methodological essays.