add first assert