verification is done!
formalize "Yardstick Core"; note problems with its current implementation