Aquinas's own interpreter Scotus argued that formal distinctions in God are required for coherent pr...