BA Logic