Logical_constitution