logicalizing