kristo yerekanye ko umuntu ashobora kugundira imbaraga y'imana ku bwo kwizera often preconditions are simply included in the documentation of the affected section of code