abstract B = A - [A1] ** {

}