Less Obfuscated Formal Term