formalize - Word Not Found