More notes on Software Foundations