More notes on software foundations