Reposted from existential via bazant