How Augustine Proved the Trinity