realizability stuff