add comment in incompleteness function