@elyezer  added the assertion