https://thelogiclibrary.com/right-triangle/