M. Łełyk. The two halves of disjunctive correctness for the compositional truth predicate