[s] ==> (Circuitbent p 24)