👤

How to simplify (z3)4 ?