Just give a suggested example, don't refer to WDTK