Is there a supernova bound on axions? | Synapse