New problem formalization