 Andersson and Rendall  showed that for gravity coupled to a massless scalar field or a stiff fluid, for every solution to the truncated equations there exists a solution to the full field equations that converges to the truncated solution as the singularity is approached, even in the absence of symmetries.These results were generalized to also include p-form [[gauge theory|gauge fields]].In these truncated models the dynamics are simpler, allowing a precise statement of the conjecture that could be proven.