Example of NOT(000111) = 111000 for TMO (Halt)