A Formal Faucett - WZTMV