formalize complete