Bind free variable in existence statement.