What are we solving?