logic complete, works