Sane assertion names