Dissociated Logic Theory view 1