A restated truism

Truism 6N: What is implicit can become be followed by it being explicit

This is actually a family of truisms, for any narrative N(X) with sub-narrative 'X':

 N( [Z] ) ,  Z

For example, the definition of 'with' includes an implicit location: "Peter was with Bob, at the store"

This gives us a third type of truism. Thus we have

• The first 4 single truisms listed here. 
• Any factoid (a supposition about particulars) - truism 5N
• Any one of the infinite family 6N

I am afraid I have made a mess of the numbering and the roll out of the ideas.