AND decomposed