assumeevery