Label R&G as "not-a-theorem"