Title: Adding propositional scopes to linear temporal logic