(* Id *)

INSERT HANDY COQ EXAMPLE HERE!