HIF1A and neoplasm: With this design principle, a class of HIF1α/p53-regulated tumor-targeting gene circuits (AND-NOT logic, denoted as “v1”) was also constructed (Fig. 3).