Why am I getting an error in my Z3?

Printable View