Assuming the antibody characterization FRO is funded by 2025, will the milestone of conducting knock-out testing of all recombinant antibodies for 10k proteins be achieved before 2031?