Proper inclusion