-level languages of John Backus, which are <a
href='functional.html'>applicative</a>.</li>
	<li>Any subexpression can be replaced with a name that represents the same
subexpression. This is referred to in the concatenative community as <i>factoring</i>.</li>
	<li>The syntax and semantics of concatenative languages form the algebraic
structure of a monoid.</li>
</ul>

<p>The corollary to the presence of stack operation in the code which have nothing
to do with the problem domain, like <i>pop</i>, <i>swap</i>