reverse assert logic