deadlocks def
polished complexity a bit