A bit of enlightenment in writing correct code