Mosey Family proofs