hardlikealgebra