Completed disjunction certificate.