||write a specification for your problem in BOBJ.
||write a Duck script, including your proof goal, specification,
important proof steps and the location of explanation files.
let's assume that your Duck script has the name
||run kumo with the command:
How do I Write Duck Proof Script?
First read some examples, which have links to further tutorials and