Q' consists of Safra Trees  Step 2 may violate Condition 1 because if M ⊆ F, then the son has the same macrostate as the father.  Step 3 (PowerSet)
{"Image DocumentName": "Q\u2019 consists of Safra Trees", "Image ImageDescription": "Step 2 may violate Condition 1 because if M \u2286 F, then the son has the same macrostate as the father. Step 3 (PowerSet) can violate even more: Brothers may share a state q \u2208 Q\u2019. The new computed macrostate can be an empty set. The Union of brothers macrostates can be equal to the father\u2019s macrostate.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}