Rigid Flexibility: The Logic of Intelligence (Applied Logic Series)