J B 1975 Proof