String)->Bool) -> Int {…}