$assertion