Page "Extensional and intensional definitions#Intensional definition" not found :(