HVCC BC Easter SQ2 Proof