Foundations of Procedures