Valid range formed
Valid deviation
[ ] MSB
Entry
[ ] SL appropiate
[ ] Target → Always end of range