Less Obfuscated Formal Term For Pins