Forward Proof of Audit Command