(5 z4)