hard inference