Trip Mini Proofs