Buridan's (ST)-based notion of formal consequence excludes inferences that fail in some substitution...