LTL-AndCTL-Stuffs