Lecture - 36 Elements of Realizability Theory (Contd.)