????Step8?????????????
????l ???????????
????4 ??1????????????T?????
????4 <1???????????T???????
????4 ??????????????????????????????
????l  T??????????MS??T??
????|D|?????????????????
????|L|??????????????????
????|E|????????????????
????|M|???????2??????????б???????
???????????
?????????????????????T {t1:<x = 1?? y = 0>?? t2:<x=0??y=1>}??????foo????????

?????????????????????????P1????ò????T?????P???????P1???????У????????P??P1?????????????????<x= 1??y = 1>?????P??P1?????????????T??????????????????????????????????????????????????????????????????仯?????????????е?????