Word Problem Logic