[S] ===> (Hackbent p 89)