`ladder` (name used in other places for the same thing)