Preliminarily implemented IR