Under construction: Assertion package.