comments
almost almost: output X4 not free in fun case