logically complete