Finish main fuctions without debug.

Details for AA and DA is clear. But some bounds remain unknow.