righteous constraint