Problems

TODO: Write about how problems are defined and used.