Vexpro?

Could someone explain what VexPro is? Could we use the VexPro parts in a Vex Competition…?
I’m confused, Please help.:confused:

The VEXpro ARM9 Microcontroller is for Hobbyists and College Level VRC. It uses a more advance Microcontroller than the Vex Cortex and is programmed with GCC and Eclipse.

VexPro is the line of products that VEX makes for the FIRST Robotics Competition. It includes motor controllers, wheels, sprockets, transmissions, etc. They are not legal for the VEX robotics competition.

In case any one is interested, this is due to <R5c>:

VEXPro parts are found on this section of the site: http://www.vexrobotics.com/vexpro

VEX EDR parts are on this section: http://www.vexrobotics.com/vex