ground to a halt in CatofAdj2
	modified:   CatofAdj2.agda