Prove that Ref/Key filtering works