inference routines -- fleshing out the details ... (incomplete)