bijections: True | (dt1): True | (dt2): True | (dt3): True | F r = s F: True
