Tested assumption rules