added notes on extended formal model (single-param d)