Logical theory

Summary