Piercing independent sets in graphs without large induced matching | Synapse