Lacey F Proofs