Reposted from geometry via teisei