2 down 1 up

go down one level in abstraction temporarily, then down a further level

go back up after you’ve gone down two levels to get a more accurate first level

the idea is that you can’t know the first level right away, the second level down illuminates how the first level should be structured. So you don’t worry about getting the first attempt at the first level down right