More than 1 from LTL