https://propertyjulh.blogspot.com/2023/05/simplifying-expressions-with.html