$ EX Y [][] B AC :.