Additional documentation in assertations.js