No More Learning

( -- Assertion: Time exists because there is past time           on past products.