Gadgets

Some definitions: