changed read-theorems