No livelocks