UCF constraints for both files