eventually

Macros to support assertions/refutations that might not be correct immediately but will eventually become so due to, say, eventual consistency.