formulizing