Mixed Foundations