Nullity of a court judgment that recognises arbitral res judicata without examining the nullity of the arbitration clause alleged by the party. Citra petita court judgment. The validity of the arbitration clause constitutes a preliminary question to the examination of arbitral res judicata. Omission amounting to error in procedendo: