More definitions and theorems added