"seems unlikely" isn't really cutting it, when we're talking about formal systems.