O1;2QO1;2Qcheck for variable existence