prelinary work on introducing identities.