* assertion test