Invarianții sunt mai ușor de definit decât bug-urile de găsit. Rimează.