Presentations from ztk4