realizable

not defined yet