fix mixing up proposalstrategy with formulastrategy