Interface EventuallyFollowsAbstraction<E>