Evolution and formation of ultramassive white dwarf stars: The case for a 9M⊙ progenitor | Synapse