let
  x = (3,2)
in
  let
    y = (x,x)
  in
    let
      z = (x,y)
    in
       snd(fst(snd z))
    end
  end
end;