Documentation : dynamic assertions