When was the first formal school on record?