Drag and drop terms into missing elements to complete the term!
This term has hit the max reduction depth.
Either change the term or the reduction strategy
Drag and drop terms into missing elements to complete the term!
This term has hit the max reduction depth.
Either change the term or the reduction strategy