Q1: exemplify incompleteness only