Yes, this follows from that loops can happen only once subjectively, as Peter Hensen recently mentioned to me.
Yes, this follows from that loops can happen only once subjectively, as Peter Hensen recently mentioned to me.