Add facts for PE3.1