GC has no proof technique: no known method determines its truth, making it semantically idle rather ...