A wff interpreter