provided delta evaluation in core subset example