return to simple main constraint