The example is too trivial. you could have 100 ways to write "hello world", but it does not matter.