assume validity