updating realizability stuff
forgot to add a file