Logical assertion

Summary