I am publishing this idea little bit earlier, but when PRO gets above 3900, it is buying time.
Trade closed: target reached:
PRO reached its target.