Updated readme to show how to show the existence of the problem