Introduce
LTLGLOBAL