1: \begin{definition}[{\citealp[Theorem 2.6]{Charney1995}}]

2: Let $a,b \in \mathcal{P}$, then $x=a^{-1}b$ is said to be in $np$-normal form if $a\wedge b=1$. Similarly, we say that $x= ab^{-1}$ is in $pn$-normal form if $a\wedger b= 1$. 

3: \end{definition}

4: