Kann $IR gelöst werden?