Yes and it fails to talk about boundary conditions or predicates or whatever.