q.e.d. - undefined