Why do we use term loop? Wouldn’t it be better to use term lap instead, like in TBoI? So the original run is distinct.