proper inference