This constraint shouls also be in `_oasis`.