Added QuantCancel.v