<<
controlledRobot
>>
Rmax
=? [
LRA
];