let mem x = exists (is_var x)