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

Further application: