Logistics Proof Gaps