user725: Given that the function A contains B is true when all of B is contained in A, and false otherwise, wouldn't that mean that the txInfoValidRange info would have to move its "start point" in order to return true? Below is my thinking :)
checkDeadline = from (deadline p) `contains` txInfoValidRange info
In this code, from (deadline p) contains all of the slots from some deadline to pos infinity.
---Below is where I think I am wrong---
txInfoValidRange info is just a SlotRange from the creation of the transaction to pos infinity.
So how then can the deadline p contain the txInfoValidRange info without the txInfoValidRange info adjusting its starting point?
Thanks!

user801: I hope I understood your question correctly. No, we don't move anything.
I think that the naming is confusing. It shouldn't be called deadline because in my opinion deadline is when something ends. In our case, it's the other way around. We allow taking funds only AFTER the deadline.
Please take a look at the picture. We shouldn't allow Tx1, only Tx2.

In our case [deadline, infinity] doesn't contain Tx1.validRange contains Tx2.validRange.

725: <p>Given that the function A <code>contains</code> B is true when all of B is contained in A, and false otherwise, wouldn't that mean that the <code>txInfoValidRange info</code> would have to move its &quot;start point&quot; in order to return true? Below is my thinking :)</p>
<p><code>checkDeadline = from (deadline p) `contains` txInfoValidRange info</code></p>
<p>In this code, <code>from (deadline p)</code> contains all of the slots from some deadline to pos infinity.</p>
<p>---Below is where I think I am wrong---</p>
<p><code>txInfoValidRange info</code> is just a SlotRange from the creation of the transaction to pos infinity.</p>
<p>So how then can the <code>deadline p</code> contain the <code>txInfoValidRange info</code> without the <code>txInfoValidRange info</code> adjusting its starting point?</p>
<p>Thanks!</p>
 801: <p>I hope I understood your question correctly. No, we don't move anything.</p>
<p>I think that the naming is confusing. It shouldn't be called <code>deadline</code> because in my opinion <code>deadline</code> is when something ends. In our case, it's the other way around. We allow taking funds only AFTER the deadline.</p>
<p>Please take a look at the picture. We shouldn't allow Tx1, only Tx2.</p>
<p><a href="https://i.stack.imgur.com/PA07e.png" rel="nofollow noreferrer"><img src="https://i.stack.imgur.com/PA07e.png" alt="enter image description here" /></a></p>
<p>In our case [deadline, infinity] doesn't contain Tx1.validRange contains Tx2.validRange.</p>
