replaced checkWff with isWff