refactoring: removed double denial