Added English translation of example