Conjectures of Shimura Type and of Harder Type Revisited | Synapse