A Mathematical Theory of Semantic Communication | Synapse