collective_subtext_a_z3