In this talk, I discuss an infinite-dimensional Lagrange-multipliers problem that first appeared in Donaldson and Segal’s paper “Gauge Theory in Higher Dimensions II”. The longterm goal is to apply Floer theory to a functional whose critical points are generalizations of three (real) dimensional, special Lagrangian submanifolds. I will discuss a transversality theorem related to the moduli space of solutions to the Lagrange multiplers problem.