Source: https://www.karlin.mff.cuni.cz/~hron/NMMO403/lindbo_dag_06153.pdf