Wachtell tax. .