https://thelogiclibrary.com/complex-roots/