at_r.
repeattac (andM_l 1).
andM_r (1::2::nil).
then (andM_r (1::nil)) init.
init.