Step 3 Another knockout, but this time over the Out shelf: If T is out, then K is in. Which means that if K is out, then T is in. Which means they both can't be out together. Which means the above knockout.
Step 3