Strategy.v and StrategyUtils.v added.