WT2WT := {[t,s,b] -> [t+1,s+1,b] : t <= s} union
 {[t,s,b] -> [t+2,s+2,t+2] : t <= s+1 && b <= s+1} union
 {[t,s,b] -> [t',s-t+t',t'] : t <= t'-3, s && b <= s+1};
WT2WT;
pairwiseCheck WT2WT;
h := hull WT2WT;
h;
WT2WT@ \ domain WT2WT;

gist WT2WT given h;
h-(h-WT2WT);
WT2WT+;
