LTL formulas.