noncontextually

not defined yet