Start of complexity and formal problem definition