border formalization