semierectness

not defined yet