Copilot.Library.LTL
next
eventually
always
until
release