Foundations for direct inference