Realizability process integrated.
Revert "Realizability process integrated."

This reverts commit d83e5210838a67a4f21e20c770c119ea1385ac2a.