add more detailed assertion's spec