compatibility decomposition