Lower bound results for conditionally decomposable polytopes | Synapse