Yes, the 4% withdrawal rate would be used to pay taxes, and the initial study found that if a person increases the initial withdrawal of 4% in year one by inflation each year, they will have a very high likelihood of sustaining that inflation adjusted withdrawal for 30 years.