first simple inference OK