better constraints