gadget decomposition