Z6: typeset 1b