What Mathematical Theories of Truth Should Be (and Can Be). NS 2014, 21 (4).