The following are Pelletiers 17 theorems: +&&p-q&-qp&+-pq+q-p +&pp&-p-p ++-pq+-qp +&&-p-q&-q-p&+pq+qp +&+pq&-p-r+p+-qr +p-p +p-p +p&+-pq-p +&pq+&-pq+&-p-q&p-q ++&pq&-p-q+&q-r+&p&-q-r&r+-p-q +&pp&-p-p +&+&+&pq&-p-qr&+&p-q&-pq-r+&p+&qr&-q-r&-p+&q-r&-qr&+&+&pq&-p-q-r&+&p-q&-pqr+&p+&q-r&-qr&-p+&qr&-q-r +&&-p+-q-r+&-p-q&-p-r&+p&qr&+pq+pr +&+&p-q&-pq+&-qp&q-p&+&pq&-p-q&+q-p+-qp +&&p-q&p-q&+-pq+-pq ++-pq+-qp +&&&p+-qr-s+&&p-q-s&&pr-s&+s+-p&q-r&+s+-pq+s+-p-r The following are non-theorems: &-pp +pp p -p +&&p-q&-qp&+-pq+qp +&+p-q&-qp&+-pq+qp +&pp&p-p ++-pq+q-p +p&+-pqp +&pq+&-p-q+&-p-q&p-q