even better constraints