Logics have been prepared