Page "Feferman–Vaught theorem" not found :(