public static boolean justificationEqlP(Justification just1, Justification just2) {
    return ((just1 == just2) ||
        ((just1.inferenceRule == just2.inferenceRule) &&
         ((just1.reversePolarityP == just2.reversePolarityP) &&
          ((((!(just1.inferenceRule == Logic.KWD_PRIMITIVE_STRATEGY)) &&
        (!(just2.inferenceRule == Logic.KWD_PRIMITIVE_STRATEGY))) ||
        (((PrimitiveStrategy)(just1)).strategy == ((PrimitiveStrategy)(just2)).strategy)) &&
           Proposition.justificationPropositionsEqlP(just1.proposition, just1, just2.proposition, just2)))));
  }