§ 4.6.2 with mode transitions done