make_greater_string needs the < procedure not the >= one. Spotted by Peter.
Attach a file by drag & drop or click to upload
