These theorems have to assume what theory is correct