Talk:Volume 2, Chapter 13/@comment-3261234-20130905192509/@comment-30764484-20130908011057

Yep, since they must be 15 on the first day of grade 10, and grade 10 for the oldest started in 2007, this must be right.