semiclosure

not defined yet