Page "ω-stable theory" not found :(