AxFとは何だったのか