In the setting of program algebra (PGA) we define a projection from
the basic programming language $\PGLA$ extended
with unit instruction operator into $\PGLA$.
We use Basic Polarized Process Algebra (BPPA) to define a behavioral
semantics for PGA.