Discovering Advanced Algebra