Page "Dual number#Projective line" not found :(