How can you tell someone is wrong in Programming? Wrong outputs are checked by tests and you could do time studies. However that's after-the-fact. With abstra

How can you tell someone is wrong in Programming? Wrong outputs are checked by tests and you could do time studies. However that's after-the-fact. With abstraction there isn't a correct answer from code alone (outside possibly nested loops)