Kada reasoning modeliai ir testavimo metu skaičiavimai yra pagrįsti, o kada tai yra perteklinis?