logical history