경험적 주장에서 증명으로의 전환 촉진 | Synapse