3 ms·

It's "principle", "principal" means something else.

• pbiggar 14y ago
  Indeed. Seems too late to change it now, so this will be my lesson for commenting when I'm really tired.