Shelley Winstead proofs