diSessa and Cobb (2004, JLS) mention metarepresentational competence and sociomathematical norms. Mor and Winters (2007) mention design patterns, Sandoval (2004) gives a brief example. But what are the exact criteria for a theoretical construct to be justifiably called an ontological innovation?