Realizability process integrated.