Check in contrived examples for exercise