SEARCH Articles Figures Tables A practical example Practical examples Realizability Realizable Realization Realizers