The greatest strategy is doomed if it's implemented badly.
If only I had the Theorems! Then I should find the proofs easily enough.
