verdoux-predicates