dimorphisms
not defined yet