Functional identities
Relations between contiguous functions
Additional relations between contiguous functions