Jon taking Martin out of the lonely being compared to Orpheu and Eurydices is kindda funny if you really think about.
Because Jon did find Martin and lost. Except he tried again. It isn’t Orpehus and Eurydices if Orpheus had not looked back, is Orpheus and Eurydices if after losing Eurydices a second time, Orpheus had went straight back to the Underworld, forced Hades to tell him his whole life story incapacitating him (Hades is stronger than Peter Lukas, he gets to not die), got to Eurydices by looking around and got out without any coditions this time because everyone is sorta scared of how stuborn he is.