Soft Proof at Fierman