semiabstraction

not defined yet