core subset example (finished)