logic complete