On the Construction of Fully Interpreted Formal Languages Which Posses Their Truth Predicates. NS 2016, 23 (4).