0.0.3: Use a more flexible declaration form for assertions. Document same.