Then, unless falsifies, we should be able to form statenames, in the mechanical vocabulary of such that implies that the states thus named are related to one another, and to the appropriate inputs and outputs, by the given transition laws.