PA for Algorithms, Part I