added reasons for missing provers, etc