IREX Theory