removed boolean violation