Yes, you can use both, but look at all the disputation of preference going on elsewhere in this thread - that&#x27;s what I meant by a conflict.<p>I like your phrase &quot;transport understanding&quot;; an important part of programming is dealing with informal understandings of what the software does or is intended to do. Most programming has very little <i>formal</i> reasoning in.