Functional logic complete.