make use of the thing we just defined