Congruence Identities Arising From Dynamical Systems · wovepaper