logicalinduction
