use the positive assertion