whoops, translating a shape always yields exactly one term
whoops, translating a shape always yields exactly one term

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script