Nesting Non-Euclidean (Created) in Euclidean (Uncreated)

Interesting discussion with Copilot.

Further application: