Logical_assertion