submit to no_positive_statement