use_thys ["Nominal_Examples"]; setmp_noncritical quick_and_dirty true use_thys ["VC_Condition"]; (*FIXME*)