Buridan's own examples of non-substitutionally-valid consequences, such as 'A man runs, therefore an...