Complex sentence: A design (or implementation) cannot ever be declared "correct" in isolation, but only "correct with respect to a given specification".
Split into simpler sentences: A design (or implementation) cannot ever be declared "correct" on its own. It can only every be "correct with respect to a given specification".