I don't know the exact formula. It's very complicated. I read that the $200M penthouse actually has an assessed value of only $10M for property tax purposes, due to a quirk in the law. It's still paying more in property taxes than any city services it would be using.