Operation Formalization work