symboliclogic