Page "ω-consistency" not found :(