https://9pdf.info/document/qo5glmr7-congruence-distributivity-implies-bounded-libor-barto-marcin-september.html