Logical Malleability Moor 1985