- node [style = rounded, shape = rect] IC [label="Image\nCover X "]
- node [style = rounded, shape = rect] message [label="message"]
- node [style = rounded, shape = rect] key
+ node [style = rounded, shape = rect] PI [label="Choose cover X"]
+ node [style = rounded, shape = rect] PIb [label="Set b, T"]
+
+ node [style = rounded, shape = rect] message [label="Message mess"]
+ node [style = rounded, shape = rect] key [label="Key k"]
+ node [style = rounded, shape = rect] ee [label="Modify b, T"]