Detailed description Z3

\ DELIM-UKRAINE