added IntrDefn