Better assertion for spec