Inverse condition.