Commas at the end of Introductory Elements