Forcing algebras/Induced torsors/Section