prove another minor cheat

always forget that t_wfs_FEMPTY comes straight from the defn