examples re worked