Answered questions for IR.hs