Only half realized they had to add 1+3 and 9? But complex arithmetic in one's head is difficult indeed. @nelson@tech.lgbt @robpike@cosocial.ca