Time-inconsistent contract theory | Arena Library | Arena