assertion as a function