Test for accepting kindbind and mandatory hypotheses.
Test for accepting kindbind and mandatory hypotheses.

raphlinus/ghilbert,raphlinus/ghilbert,jkingdon/ghilbert,kryptine/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,kryptine/ghilbert,jkingdon/ghilbert