Refined theorems somewhat