https://thelogiclibrary.com/beta/