  We present a deterministic way of finding contraction maps for candidate
holographic entanglement entropy inequalities modulo choices due to actual
degeneracy. We characterize its complexity and give an argument for the
completeness of the contraction map proof method as a necessary and sufficient
condition for the validity of an entropy inequality for holographic
entanglement.
