Example A.1.1 from Giles' thesis added