Page "Hartig's quantifier" not found :(