Mathematical proof, not empirical implementation, is the appropriate arbiter of what the Cobham-Edmo...