La definición de "verdadero" adopta con referencia al lenguaje objeto el concepto de "satisfacción".