A note on formal reasoning with extensible domains. The Reasoner, v. 3, n. 7, 1 Jul.2009.