In that case, they are no longer smart contracts. The entire appeal was that they would be knowable in their entirety, automatically executed, and irrevocable. The goal as I understood it was too have something that would enforce itself, not needing an external authority to interpret it.
Instead, as others have pointed out, the hard fork demonstrated that this was not at all the case. Ethereum contracts can be voided, and the entire premise is therefore flawed. Terms and conditions would just be another way that contracts could be voided, another flaw.