Algebra revisited