A Formal Faucett Înapoi