Started on proof that many-one and kernel reductions are different.
Proves that kernel and many-one reductions are different.