logicalizes