2009. A note on formal reasoning with extensible domains. The Reasoner. 3, 7 (Jul. 2009).