Corrected problem definitions