and so we turn to the knot theory garden a mathematical and metamathematical opera by jerboa jenneting characters giulio a mathematician ( tenor ) romana a student of maths ( soprano ) fabbrio a topologist ( bass ) pippi a metalogician ( contralto ) synopsis the opera begins with mathematician giulio attempting to solve fermat 's last theorem .