What's now?, nothing to q.e.d.