The distinguished value forever is a special valid-time instant following the largest chronon on the valid-time line. Forever has no transaction-time semantics.