Right, the problem is that the semantics of statically typed languages are far more complex (since the program text conveys more information).