Strong subadditivity and the covariant holographic entanglement entropy formula