[ Text ] contains: [ Text ]

☞ x ≔ ‘abc’ contains: ‘a’.
☞ y ≔ ‘abc’ contains: ‘z’.
✎ write: x, stop.
✎ write: y, stop.
Yes
No