#35. If educational system input is constant and fromput is constant, then output is constant.
#43. If educational system fromput increases and output is less than some value, then feedout decreases.
#45. If educational system output increases and feedback is greater than some value, then input increases.
#161. If educational system output is constant and automorphism decreases and homomorphism is greater than some value, then feedout decreases.