it is often important to verbalize core systems insights before mathematical formalization