James Thomas and Jennifer Clark married and had two children. They bought a home in Ironton, Ohio, with a loan secured by a mortgage. Later, they took out a second mortgage. On their divorce, the court gave Clark custody of the children and required Clark to pay the first mortgage. The decree also required Thomas and Clark to make equal payments on the second mortgage and provided that Clark would receive all proceeds on the sale of the home. Thomas failed to make any payments, and Clark sold the home. At that point, she learned that Auto Now had a lien on the home because Thomas had not made payments on his car. Clark used all the sale proceeds to pay off the lien and the mortgages. When Thomas filed a petition for a Chapter 13 bankruptcy in a federal bankruptcy court, Clark filed a proof of claim for the mortgage and lien debts. Clark claimed that Thomas should not be able to discharge these debts because they were part of his domestic-support obligations. Are these debts dischargeable? Explain.