# LTL, CTL, CTL* I did understand the solution but is my solution also correct?

For your structure, I compute the following, so, yes that is also an example.

```E G a = {s0};
E G !a = {s1};
E F E G !a = {s0;s1};
E F E G a = {s0;s1};
E F E G a & E F E G !a = {s0;s1};
E G(E F E G a & E F E G !a) = {s0;s1};
```
by (142k points)
{"ft_lang_label":"__label__en","ft_lang_prob":0.9256448,"math_prob":0.9945991,"size":467,"snap":"2022-40-2023-06","text_gpt3_token_len":151,"char_repetition_ratio":0.18358532,"word_repetition_ratio":0.24,"special_character_ratio":0.35546038,"punctuation_ratio":0.17741935,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9743524,"pos_list":[0,1,2,3,4],"im_url_duplicate_count":[null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-01-31T17:55:41Z\",\"WARC-Record-ID\":\"<urn:uuid:e4b0354e-d701-4fee-804e-b6fe17bee6cf>\",\"Content-Length\":\"48908\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8d11d106-c293-4788-8806-dfc9e3e4145c>\",\"WARC-Concurrent-To\":\"<urn:uuid:bd5a09c2-f07c-41b7-9153-3f1f4c691ec5>\",\"WARC-IP-Address\":\"131.246.161.43\",\"WARC-Target-URI\":\"https://q2a.cs.uni-kl.de/3244/ltl-ctl-ctl?show=3246\",\"WARC-Payload-Digest\":\"sha1:UHE3OPWDCXCCHNN6WF7ZYUXP7YPDGXDF\",\"WARC-Block-Digest\":\"sha1:5VMGD3K6OQ2WXVG2YA3AVNVLME4V4ZVL\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764499888.62_warc_CC-MAIN-20230131154832-20230131184832-00608.warc.gz\"}"}