 As opposed to testing simple validity against possible counter-models, formal validity is tested against impossible but imaginable counter-models to eliminate extra-linguistic influences. Imaginable casus introduced in obligationes are thereby utilized as part of general logic.