Our goal creating facilities which make it possible write programs known to be correct. But we also want programmers to actually use the facilities we provide here. This won't happen if using these facilities impacts performance to a significant degree. Although we've take precautions to avoid doing this, the only real way to know is to create and run some tests.

To Do