In some recent work with Kronheimer we have carried over a version of Juhasz' Heegaard Floer Homology for sutured three manifolds to Instanton Floer Homology. This leads to amongst over things a streamlined proofs of property P for all knots and that symplectic manifolds have non-vanishing Donaldson invariants.