[ColinWright]

Problem there is that you then have to prove that the string you've constructed is in your canonical form, and it might not be.