Renamed ⌈ℕ₂Log to ⌈ℕLog₂