LOGICALISSMC (logicalissmc)