first assert