tractates of Constance