fixed: Positive Logic, Negative Logic