New: assertion