amp: minimal complete defs