We model the litigation of a contract containing a variable not observable by courts, hence non verifiable, unless the rational and self-interested judge exerts effort. He values the correct ruling but dislikes effort. Judicial effort is discretionary. We show that effort cost is...