and you express your whole program in those terms
# arrow
p
and you express your whole program in those terms