"[Punching numbers]"