Added problem definitions