AExp analysis is complete but still completely untested, so I will probably kill myself soon