p and k definitions and ==> com_step notation