It's infer everything and make sure there's only one possible interpretation, with certain exceptions.