finished AKS alg explanation. Still needs examples