Exact (2)-BorderMaker