File:Ltlalways.svg loading ...