possibly finished with termsem_cert

seems to work on various examples