@goldmanmorgan: a nice q.e.d.