https://9lib.org/document/qo5p69vk-a-course-inuniversal-algebra.html