Teze $RAIL už nemůže být zřejmá