IR Proposition