8_Definability_and_wittnessing_in_second_order_theories_(BAPLaCT)