isometries
not defined yet