let exists = List.exists