Speculate has cleaner proof