Kerodon

\begin{eqnarray} \label{equation:cocycle-identity} w( \alpha _{x,y,z} ) - \alpha _{wx,y,z} + \alpha _{w,xy,z} - \alpha _{w,x,yz} + \alpha _{w,x,y} = 0 \end{eqnarray}