The inference from 'the assumption K(k) leads to contradiction' to 'K(¬K(k))' illicitly conflates ob...