Let “Aristotelianism” be the thesis that necessarily all universals are necessarily instantiated in some object or objects. Many Aristotelians have sustained that natural laws are nomological relations between universals instead of a mere regularity of events. There seem to be cases, though, in which there are natural laws but connecting universals that are not instantiated. Our intuitions about natural laws as nomological relations between universals, then, seem to undercut Aristotelianism. One strategy adopted by Aristotelians has been to suppose that in those cases there are functional laws that ground counterfactual facts about non-instantiated universals. They are not cases where some universal exists although it is not instantiated, but cases about what would have happened if some universals that do not exist, had existed. A functional law is a law that connects directly determinable properties instead of determinate properties. It is argued here that this Aristotelian strategy is incoherent. Aristotelianism requires determinable properties to be grounded on determinate properties, but the strategy requires a relation of grounding in the inverse direction.sea “aristotelismo” la tesis de acuerdo a la cual necesariamente todos los universales están necesariamente instanciados en algún objeto u objetos. Muchos aristotélicos han sostenido que las leyes naturales son relaciones nomológicas entre universales en vez de meras regularidades de eventos. Parece haber casos, sin embargo, en los que hay leyes naturales pero conectando universales  que no están instanciados. Nuestras intuiciones acerca de las leyes naturales como relaciones entre universales, entonces, parecen socavar el aristotelismo. Una estrategia adoptada por los aristotélicos ha sido suponer que en esos casos hay leyes funcionales que fundan hechos contrafácticos sobre universales no instanciados. No son casos en los que existen algunos universales aunque no estén instanciados, sino casos acerca de lo que pudo haber sucedido si algunos universales que no existen, existiesen. Una ley funcional es una ley que conecta directamente propiedades determinables en vez de propiedades determinadas. Se argumenta aquí que esta estrategia aristotélica es incoherente. El aristotelismo requiere que las propiedades determinables estén fundadas en las propiedades determinadas, pero la estrategia requiere una relación de fundación en la dirección opuesta.