sjc 1957 proofs