More (attempted) typesetting