Dissociated Logic Theory view 2