Non-Linear Algebra