Suppose ref is a WeakReference object pointing to (or at a certain moment having pointed to) an object obj. If a call ref.get() happens-before (or at
