Assumptions as Proof II