But it's not static. Pre/postcondition runtime checks can be implemented in a static language as well.