How old is paul now? 12?