fin proofs