Replaced Inc(p) by macro \INC{p} for stylistic coherency.