Airplane Safety Logic