Assertion: concern's program | /r/HasProperty | correct
Facets:
Source sentences:
text: We know that a program must be correct and we can study it from that viewpoint only; we also know that it should be efficient and we can study its efficiency on another day, so to speak.