formula redux