Premise: RECORD -To give expression to a transaction on (or in) the books of account

Hypothesis: If the accounting books show that a transaction has taken place, that means that there is a "record".
Relation: entailment