still the negation must be removed or the if completly