one more test; noting we need Pocchamer's symbols