define type Fact instead of [2]string