 Both sublogics have become standards in the model checking community, while CTL* is of practical importance because it provides an expressive testbed for representing and comparing these and other logics.This is surprising because the computational complexity of model checking in CTL* is not worse than that of LTL