FFSW: Proofs

FFSW: Selects