3 ms·> So education up until about age 12. Where did you get that from?by dependenttypes 6y ago> So education up until about age 12. Where did you get that from?