Proper inference