domain assertions