sentence1: related work led to the formal ball model which was tailor-made for modeling metric spaces and lipschitz functions .
sentence2: his development with heckmann of the formal ball model provided an approach tailored to modeling metric spaces and lipschitz maps using domain theory .