Pww 15.
Aautomated generation of visualization of the fix point with the deductive database method.
The conclusion "GH = IJ" is found in fixpoint.