Definitions for "BPVs"
Bipolar Violations