Util.equals works fine for PSet