diogenes incompleteness graffiti