 [Soph] relates the relevance view of formality as a conceptual connection between premises and conclusions to the substitutional view of formality as validity under any substitution of extra-logical terms or in any domain of application (in omni materia). If an inference is valid only in a restricted domain of application, it is valid based on content or in a particular domain of application (de materia, gratia materiae) or “simply valid” (bona simpliciter) ([IHT] arg. 11; [Soph] soph. 3 [1494: fol. 86ra]). The concept of formal incompatibility is clarified as part of the explication of validity based upon the form (de forma):