My guess is that worrying too much about low-level correctness while writing your code could lead to very poor productivity and even OCD.