It's very nice to have these steps clearly expressed here as an explanation of the example inference process -- thanks for adding that.