Extension:Technology Portfolio/de-formal