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