Assertion: justification | /r/HasProperty | formal terms
Facets:
Source sentences:
text: Justifications are formal terms, built up from constants and variables using various operation symbols.
text: I think justification is an informal way of showing that your conjecture or thesis is correct.