Writing the Fact Family for a Given Pair