[math-fun] Perpendicular planes