D.Trace: new convenience functions boundaryFrom and boundaryFromMay