hypidiomorphically
not defined yet