at some other place I saw `== TickGenerator.tick`