Revised algebra as (Z[x,y])[s,t].