docs: public boolean isLaconic(Explanation<E> justification) throws ExplanationException {
          // OBSERVATION:  If a justification is laconic, then given its O+, there should be
          // one justification that is equal to itself.
  
          // Could optimise more here - we know that a laconic justification won't contain
          // equivalent classes axioms, inverse properties axioms etc.  If an checker doesn't
          // appear in O+ then it's not laconic!
          Set<OWLAxiom> justificationSigmaClosure = computeOPlus(justification.getAxioms());
          ExplanationGenerator<E> gen2 = explanationGeneratorFactory.createExplanationGenerator(justificationSigmaClosure);
          Set<Explanation<E>> exps = gen2.getExplanations(justification.getEntailment(), 2);
  
          return Collections.singleton(justification).equals(exps);
      }