Logical Malleability Moor 1985 Corvette