use simple form of main constraint