Symbol: ASSERTeq