irrelevancies
not defined yet