eidetic reductions