Couldn't one just program a linear word matching test to ensure correctness?