On characterising analytically unramified local rings | Synapse