WIP: this does not work but needs to be stashed. Most of demonstrate
core function implemented and some of certify.