Contraction: identities 1/4 (Work in progress/Demo)