Added inline fact. declarations