Reposted from existential via railroad