Strong finite intersection property