adding realizability call