NONDECOMPOSITION
b407