Leon Lang comments on Defining alignment research