formalize method