Foundations in Practice