inverting assertion