assert
r2
s
r init