Character q.e.d.