realizability

not defined yet