Question maybe stupid that makes me think:
when we speak of precondition in a method we refer to a condition verified by the method itself(1) or to a condition verifi
