What is imperative inference