ProtoDigi is a division of PragmaDigi.

any mention towards PragmaDigi in turn refers to all of its different divisions including but not limited to ProtoDigi.