FRANCIS, Dick 1985

Proof