Proving the remedies