“Formula strategies are meant to be automatic and mechanical, the very antithesis of the emotional involvement inherent in timing strategies.”