How does this look as a representation for do-notation? | Heykuki News