paperAn extension of Subcomplete Forcing Axiom which implies ♢+arXiv:2609.16881AbstractWe prove that the Subcomplete Forcing Axiom is consistent with ♢+.