Logical Statement Definition