Added problem definitions.