made bespoke share form A_*->^ on account of worry about variable substitution