Synopsis: 'Context' of 'Satisfy' is wrong. State-Changed-From-To: open-closed State-Changed-By: pcs State-Changed-When: Mon Apr 21 13:32:55 PDT 1997 State-Changed-Why: You are correct, the documentation has been updated. Thank you for pointing it out.
