implicit theory