A Note on Formal Reasoning With Extensible Domains. tr 2009, 3 (7).