add formalism_N and just_AdV to Spa