Logical Use Of Symbols