At the bottom of $AGON , let's enter.