Es evidente lo que le motiva – ¿Cómo sabes qué es lo que le motiva?¿En base a que sabes lo que le motiva? To be a schema for modeling and automatically Checking out sentences of a language with programs to automated check synthesis Supports the business by enc