[Spot] Re: Regarding LTL with past