soft-assertions