commented out/TODO for fixing one error with iterative unit prop