Anyand all are changed to Any theory and all theory respectively