Assertion: specification | /r/HasProperty | possible
Facets:
Source sentences:
text: This is because implementations and specifications provide checks on each other: writing a specification requires precisely stating the behavior of an implementation, and implementation checks that a specification is possible, practical, and consistent.