abstract aircraft