make inside mirroring optional; some renamings to match the paper