Translated examples 1 to 10 to go