Disambiguate formulae