skeep whenever you have FORALL use skeep, creates arbitrary value for variable (skolem variable i think) (named after some guy) kinda like inst but you don't get to choose the variable