A Formal Faucett - Bingify