More explicit assertions