Removing UIP from propandconfl()