pass negation down for rationale view