Absolute Quantification

Withdraw from contract