not functional goodwin reduction
drwxr-xr-x - ir