Foundations - Full Version