Let be a formula. If is a Transitive Model of a Sufficiently Strong , then the definition of ” is True in ” is Absolute i.e. is Absolute.