Vertical decomposition