Costly punishment sustains indirect reciprocity under low defection detectability | Synapse