Contradiction (k21 Extended Version)

Thanks for reading this, I'll try not to take up too much of your time :)...