Closed A->B