Hard Algebra