sentence1: we present theoretical results concerning the correctness and efficiency of the proposed algorithms .
sentence2: we present both theoretical and empirical results concerning the correctness and efficiency of these algorithms .