Bootstrapping the a-anomaly in 4d QFTs | Synapse