LILU q.e.d.