LTL instead of CTL