Add remark on incompleteness.