m { dup r
a { ((rIr)=IRr)/r
m { a