Steinsvold, Christopher. " The Boxdot Conjecture and the Generalized McKinsey Axiom" The Australasian Journal of Logic [Online], Volume 15 Number 3 (16 July 2018)