Logic lyrucs