comment on incompleteness