Now when you put the first premise card into the slot, you see the conclusion it may open and can make better educated guesses on what other premises needed to have the full proof.
The cards that can no longer open any proofs are hidden, but you still see them in your proof book with all examples.
