Building logic toolboxes by