Can we just delete these lines?