Modern model-theoretic semantics unifies these cases: both satisfy ST because no model makes premise...
This proposition has not been edited since the history system was added.