.

Ralf Hannibal explains alpha Z3