completeness under incompleteness spotify