let
proj3 (_, _, z) = z