Page "Aldous–Hoover theorem" not found :(