add formulation for 'p code .str'