Could also be final, though not necessary.