Right, so a refutation of ETH would also refute SETH.