A note on formal reasoning with extensible domains (The Reasoner, 2009)