  In this paper, we prove a minimal modularity lifting theorem for Galois
representations (conjecturally) associated to Siegel modular forms of genus two
which are holomorphic limits of discrete series at infinity.
