Обяснение: Правилността изисква пълно съответствие между функционирането на системата и написаното в документацията, включително след всяка нова версия.