More steps towards defining the simplicial identities