Sam sepiol mr robot. Single ampersand used with wrong catcode. Carly angove southam. The thomas theorem example.