Here is an interesting question in the example case where he owes 500M on a 300M property ergo negative equity can the government still force the sale when the expected return is negative ergo the government expects to get nothing? Alternatively are seizures irrespective of expected return and if it turns out to be overvalued it's his problem?