“That’s because, for a base-12 to work, we need to add two new symbols for 11 and 12"