Always use a temp symbol for CIE.