sealed.
extern: r2/1 3x + r2/2 2x