We surmise that Thm. REF —especially in the form of Cor. REF —entails improvements of existing protocols for practical verification of entanglement, e.g. in the form of semi-definite linear programmes in [1]}, [2]}. We leave this as an exciting direction for future research. In the remainder, we focus on the physical content of Thm. REF  in terms of the arrow of time.
