semidirectness

not defined yet