Fix implied and logic in not