There used to be claims that are literally impossible as per the whole field of CS, that were later silently removed. That’s not a good look.