(if is true at time , and it can be assumed that remains true at time , then we can conclude that remains true).
(if is true at time , and it can be assumed that remains true at time , then we can conclude that remains true).