assert semantic change proposal

[Kagamin via Digitalmars-d]

On Sunday, 10 August 2014 at 02:40:31 UTC, Ola Fosheim Grøstad 
wrote:
> Of course it does, that is why Hoare Logic and SSA exist. 
> Deduction lacks a notion of time.

Logic is ordered, and we have a notion of order because we know 
time, which is the only obviously ordered thing in nature. So in 
a sense any logic has time in its foundation and math can do the 
reverse: represent time in declarative manner.