Copilot.Library.PTLTL

since

alwaysBeen

eventuallyPrev

previous