Use sum of squares to have a compiler error if Id's misnumbered