The question isn't whether the taxes were deducted, but whether an election to capitalize them was filed for any of those years.