It's 12 + 3 + 1. I'll edit to make clearer, but your comment exposed a bug in our LaTeX parsing so I'm waiting to edit until that resolves. :)
by Eliezer Yudkowsky May 31 2016
It's 12 + 3 + 1. I'll edit to make clearer, but your comment exposed a bug in our LaTeX parsing so I'm waiting to edit until that resolves. :)