and your program is a semigroup of statements
# arrow
p
and your program is a semigroup of statements