Expanded Z3 section.