Flow Jac System - Proofs