some work on inference properties