Z5: typeset 1b