It merely asserts that under a given set of conditions, certain behaviors hold.A proper type system, however, can prove that certain types of bugs do not exist (but a given proof can merely show that the conclusion follows from the premises, not that the conclusion is desirable or that the premises are correct).