assertions now have their own section