Models seem to offer scientists escape from the bias and ambiguity of language and perception, yet formal methods alone are insufficient for inference