https://thelogiclibrary.com/exponents/