rough logic complete