Aerospace Logic