Z4: write something for 3a, probably wrong