NEEDS CLEANUP: Add errors to exercise scope constraint validation, and implement the same.