Editing: BooleanNot.php