SYMBOLIC LOGIC &gt;CUSTOM&lt;