$p->assert(cs_req => qw(basic_cs math_req));