If s has justification for P3 based on seeing that P3 (condition i), the disjunctive template requir...