Use a stronger predicate here, pointed out by Duncan