Page "ω-consistent" not found :(