Forming functors. To create colimits of functors that can be used in natural transformation and thereby form the commutative diagram that is at the heart of the ROSCOE cognition functions. Given the category of theorems 'dog', 'bone', 'food' and 'leg' how does one keep the dog from eating its own leg? It seems a simple noun, verb, noun functor where the domain is mapped to the codomain through simple verbs denoting a one-way transformation. bone->ispartof->dog, dog->eats->food, bone->ispartof->leg, leg->as->food maps the concept of 'bone' to 'food' in a commutative colimit yet preserves the concept of bone->ispartof->dog but creates no commutative mapping between bone->ispartof->dog to leg->as->food.