Throughout the text, unless otherwise is stated, log
stands for logarithm base 2.