A disjunction lacking a constructive witness—where we cannot currently prove any single disjunct—fai...