Clarified empty assertion API