Definition Z_id (s : Site) (x : Z) := x.

Lemma sigma_table_simpl2 :
forall (Data : Set) (t : Site -> Data) (f1 f2 : Site -> Data -> Z),
(forall (s : Site) (d : Data), f1 s d = f2 s d) ->
sigma_table Site LS Data f1 t = sigma_table Site LS Data f2 t.