I noticed a few items need correction, such as: - A function is decreasing whenever a < b, f(a) > f(b) - Power to a power: (x^{n})^{m} = x^{nm} - Law of excluded middle: P(x) + P(¬x) = 1