CropsGannnon Proofs